firstbacksecondback
27 Results
|
Poster
|
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving Xiaohan Lin · Qingxing Cao · Yinya Huang · Haiming Wang · Jianqiao Lu · Zhengying Liu · Linqi Song · Xiaodan Liang |
||
|
Poster
|
Fri 16:30 |
Lean Workbook: A large-scale Lean problem set formalized from natural language math problems Huaiyuan Ying · Zijian Wu · Yihan Geng · JIayu Wang · Dahua Lin · Kai Chen |
|
|
Poster
|
Thu 16:30 |
AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties Xiayan Ji · Anton Xue · Eric Wong · Oleg Sokolsky · Insup Lee |
|
|
Poster
|
Fri 16:30 |
Feint Behaviors and Strategies: Formalization, Implementation and Evaluation Junyu Liu · Xiangjun Peng |
|
|
Poster
|
Thu 16:30 |
The Power of Hard Attention Transformers on Data Sequences: A formal language theoretic perspective Pascal Bergsträßer · Chris Köcher · Anthony Lin · Georg Zetzsche |
|
|
Poster
|
Thu 16:30 |
Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages Federico Mora · Justin Wong · Haley Lepe · Sahil Bhatia · Karim Elmaaroufi · George Varghese · Joseph Gonzalez · Elizabeth Polgreen · Sanjit Seshia |
|
|
Oral
|
Fri 10:40 |
Learning Formal Mathematics From Intrinsic Motivation Gabriel Poesia · David Broman · Nick Haber · Noah Goodman |
|
|
Poster
|
Thu 16:30 |
The Expressive Capacity of State Space Models: A Formal Language Perspective Yash Sarrof · Yana Veitsman · Michael Hahn |
|
|
Workshop
|
Rule Extrapolation in Language Models: A Study of Compositional Generalization on OOD Prompts Anna Mészáros · Szilvia Ujváry · Wieland Brendel · Patrik Reizinger · Ferenc Huszar |
||
|
Workshop
|
Analyzing (In)Abilities of SAEs via Formal Languages Abhinav Menon · Manish Shrivastava · Ekdeep S Lubana · David Krueger |
||
|
Workshop
|
Unlocking State-Tracking in Linear RNNs Through Negative Eigenvalues Riccardo Grazzi · Julien Siems · Jörg Franke · Arber Zela · Frank Hutter · Massimiliano Pontil |
||
|
Poster
|
Fri 11:00 |
Learning Formal Mathematics From Intrinsic Motivation Gabriel Poesia · David Broman · Nick Haber · Noah Goodman |