Publications

9287 results for Computer Science

PROOF ARTIFACT CO-TRAINING FOR THEOREM PROVING WITH LANGUAGE MODELS
- - Jesse Michael Han
  - Jason Rute
  - et al.
- 2022
- ICLR 2022
Conference paper
ADARL: WHAT, WHERE, AND HOW TO ADAPT IN TRANSFER REINFORCEMENT LEARNING
- - Biwei Huang
  - Fan Feng
  - et al.
- 2022
- ICLR 2022
Conference paper
NEURAL PARAMETER ALLOCATION SEARCH
- - Bryan A. Plummer
  - Nikoli Dryden
  - et al.
- 2022
- ICLR 2022
Conference paper
Case-based Reasoning for Better Generalization in Text-Adventure Games
- - Mattia Atzeni
  - Shehzaad Dhuliawala
  - et al.
- 2022
- ICLR 2022
Conference paper
Effect of Lazy Rebuild on Reliability of Erasure-Coded Storage Systems
- - Ilias Iliadis
- 2022
- CTRQ 2022
Conference paper
An Integrated Photorefractive Analog Matrix-Vector Multiplier for Machine Learning^†
- - Elger A. Vlieg
  - Lucas Talandier
  - et al.
- 2022
- Applied Sciences
Paper
DQDF: Data-Quality-Aware Dataframes
- - Phanwadee Sinthong
  - Dhaval Patel
  - et al.
- 2022
- VLDB
Paper
Time Series Anomaly Detection Toolkit for AI Applications
- - Dhaval Patel
  - Dzung Phan
  - et al.
- 2022
- DASFAA 2022
Tutorial
Optimized implementation of Rijndael256 on modern x86-64 platforms
- - Nir Drucker
  - Shai Gueron
- 2022
- ITNG 2022
Conference paper
Introducing principles of synaptic integration in the optimization of deep neural networks
- - Giorgia Dellaferrera
  - Stanisław Woźniak
  - et al.
- 2022
- Nature Communications
Paper