firstbacksecondback
15 Results
|
Poster
|
Thu 16:30 |
The Expressive Capacity of State Space Models: A Formal Language Perspective Yash Sarrof · Yana Veitsman · Michael Hahn |
|
|
Workshop
|
CryptoFormalEval: Integrating Large Language Models and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection Cristian Curaba · D'Ambrosi Denis · Alessandro Minisini |
||
|
Workshop
|
Formal Theorem Proving by Rewarding LLMs to Decompose Proofs Hierarchically Kefan Dong · Arvind Mahankali · Tengyu Ma |
||
|
Workshop
|
Proof Flow: Preliminary Study on Generative Flow Network Language Model Tuning for Formal Reasoning Matthew Ho · Vincent Zhu · Xiaoyin Chen · Moksh Jain · Nikolay Malkin · Edwin Zhang |
||
|
Workshop
|
Math2Sym: A System for Solving Elementary Problems via Large Language Models and Symbolic Solvers Nguyen Phu · Phuong Pham · Man Ngo · Tuan Minh Kha |
||
|
Workshop
|
Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data Huajian Xin · Daya Guo · Zhihong Shao · Z.Z. Ren · Qihao Zhu · Bo Liu · Chong Ruan · Wenda Li · Xiaodan Liang |
||
|
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 |
|
|
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 |
||
|
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 |
|
|
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
|
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 |
||
|
Workshop
|
Sun 9:57 |
Analyzing (In)Abilities of SAEs via Formal Languages Abhinav Menon · Manish Shrivastava · David Krueger · Ekdeep S Lubana |