firstbacksecondback
24 Results
|
Poster
|
Tue 7:30 |
B-Coder: Value-Based Deep Reinforcement Learning for Program Synthesis Zishun Yu · Yunzhe Tao · Liyu Chen · TAO SUN · Hongxia Yang |
|
|
Poster
|
Thu 7:30 |
On the Scalability and Memory Efficiency of Semidefinite Programs for Lipschitz Constant Estimation of Neural Networks Zi Wang · Bin Hu · Aaron Havens · Alexandre Araujo · Yang Zheng · Yudong Chen · Somesh Jha |
|
|
Poster
|
Fri 1:45 |
Statistically Optimal K-means Clustering via Nonnegative Low-rank Semidefinite Programming Yubo Zhuang · Xiaohui Chen · Yun Yang · Richard Zhang |
|
|
Poster
|
Wed 7:30 |
Leveraging augmented-Lagrangian techniques for differentiating over infeasible quadratic programs in machine learning Antoine Bambade · Fabian Schramm · Adrien Taylor · Justin Carpentier |
|
|
Poster
|
Tue 1:45 |
Lemur: Integrating Large Language Models in Automated Program Verification Haoze Wu · Clark Barrett · Nina Narodytska |
|
|
Poster
|
Thu 1:45 |
Learning to Solve Bilevel Programs with Binary Tender Bo Zhou · Ruiwei Jiang · Siqian Shen |
|
|
Oral
|
Fri 1:30 |
Statistically Optimal K-means Clustering via Nonnegative Low-rank Semidefinite Programming Yubo Zhuang · Xiaohui Chen · Yun Yang · Richard Zhang |
|
|
Oral
|
Thu 7:00 |
ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis Kensen Shi · Joey Hong · Yinlin Deng · Pengcheng Yin · Manzil Zaheer · Charles Sutton |
|
|
Poster
|
Tue 7:30 |
MetaGPT: Meta Programming for A Multi-Agent Collaborative Framework Sirui Hong · Mingchen Zhuge · Jonathan Chen · Xiawu Zheng · Yuheng Cheng · Jinlin Wang · Ceyao Zhang · zili wang · Steven Yau · Zijuan Lin · Liyang Zhou · Chenyu Ran · Lingfeng Xiao · Chenglin Wu · Jürgen Schmidhuber |
|
|
Oral
|
Tue 6:45 |
MetaGPT: Meta Programming for A Multi-Agent Collaborative Framework Sirui Hong · Mingchen Zhuge · Jonathan Chen · Xiawu Zheng · Yuheng Cheng · Jinlin Wang · Ceyao Zhang · zili wang · Steven Yau · Zijuan Lin · Liyang Zhou · Chenyu Ran · Lingfeng Xiao · Chenglin Wu · Jürgen Schmidhuber |
|
|
Oral
|
Tue 1:00 |
A Real-World WebAgent with Planning, Long Context Understanding, and Program Synthesis Izzeddin Gur · Hiroki Furuta · Austin Huang · Mustafa Safdari · Yutaka Matsuo · Douglas Eck · Aleksandra Faust |
|
|
Poster
|
Tue 1:45 |
A Real-World WebAgent with Planning, Long Context Understanding, and Program Synthesis Izzeddin Gur · Hiroki Furuta · Austin Huang · Mustafa Safdari · Yutaka Matsuo · Douglas Eck · Aleksandra Faust |