PROOF ARTIFACT CO-TRAINING FOR THEOREM PROVING WITH LANGUAGE MODELS
- Jesse Michael Han
- Jason Rute
- et al.
- 2022
- ICLR 2022
Conference paper
Publications
9268 results for Computer Science
CASE-BASED REASONING FOR BETTER GENERALIZATION IN TEXTUAL REINFORCEMENT LEARNING
- Mattia Atzeni
- Shehzaad Dhuliawala
- et al.
- 2022
- ICLR 2022
Conference paperMULTI-CRITIC ACTOR LEARNING: TEACHING RL POLICIES TO ACT WITH STYLE
- Siddharth Mysore
- George Cheng
- et al.
- 2022
- ICLR 2022
Conference paperNETWORK INSENSITIVITY TO PARAMETER NOISE VIA ADVERSARIAL REGULARIZATION
- Julian Büchel
- Fynn Faber
- et al.
- 2022
- ICLR 2022
Conference paperCase-based Reasoning for Better Generalization in Text-Adventure Games
- Mattia Atzeni
- Shehzaad Dhuliawala
- et al.
- 2022
- ICLR 2022
Conference paperEffect of Lazy Rebuild on Reliability of Erasure-Coded Storage Systems
- Ilias Iliadis
- 2022
- CTRQ 2022
Conference paperAn Integrated Photorefractive Analog Matrix-Vector Multiplier for Machine Learning†
- Elger A. Vlieg
- Lucas Talandier
- et al.
- 2022
- Applied Sciences
PaperDQDF: Data-Quality-Aware Dataframes
- Phanwadee Sinthong
- Dhaval Patel
- et al.
- 2022
- VLDB
PaperTime Series Anomaly Detection Toolkit for AI Applications
- Dhaval Patel
- Dzung Phan
- et al.
- 2022
- DASFAA 2022
TutorialOptimized implementation of Rijndael256 on modern x86-64 platforms
- Nir Drucker
- Shai Gueron
- 2022
- ITNG 2022
Conference paper