firstbacksecondback
8 Results
|
Workshop
|
Program Synthesis for Integer Sequence Generation Natasha Butt · Auke Wiggers · Taco Cohen · Max Welling |
||
|
Workshop
|
Fri 14:00 |
Xinyun Chen - "Program Synthesis from Semi-Structured Context" Xinyun Chen |
|
|
Poster
|
Wed 14:00 |
GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis Yushi Cao · Zhiming Li · Tianpei Yang · Hao Zhang · YAN ZHENG · Yi Li · Jianye Hao · Yang Liu |
|
|
Poster
|
Wed 14:00 |
Neurosymbolic Deep Generative Models for Sequence Data with Relational Constraints Halley Young · Maxwell Du · Osbert Bastani |
|
|
Poster
|
Tue 9:00 |
Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis Jonathan Laurent · André Platzer |
|
|
Poster
|
Tue 9:00 |
EZNAS: Evolving Zero-Cost Proxies For Neural Architecture Scoring Yash Akhauri · Juan Munoz · Nilesh Jain · Ravishankar Iyer |
|
|
Poster
|
Wed 9:00 |
Fault-Aware Neural Code Rankers Jeevana Priya Inala · Chenglong Wang · Mei Yang · Andres Codas · Mark Encarnación · Shuvendu Lahiri · Madanlal Musuvathi · Jianfeng Gao |
|
|
Poster
|
Tue 9:00 |
CodeRL: Mastering Code Generation through Pretrained Models and Deep Reinforcement Learning Hung Le · Yue Wang · Akhilesh Deepak Gotmare · Silvio Savarese · Steven Chu Hong Hoi |