Publications

LLMs versus the Halting Problem: Revisiting Program Termination Prediction
Oren Sultan, Jordi Armengol-Estape, Pascal Kesseli, Julien Vanegue, Dafna Shahaf, Yossi Adi, Peter O'Hearn
ArXiv
PDF
CWM: An Open-Weights LLM for Research on Code Generation with World Models
Meta FAIR CodeGen Team,Oren Sultan
ArXiv
PDF Model Inference Code Model Weights
A Neuro-Symbolic Approach for Reliable Proof Generation with LLMs: A Case Study in Euclidean Geometry
Oren Sultan, Eitan Stern, Dafna Shahaf
ArXiv
PDF Code
Visual Editing with LLM-based Tool Chaining: An Efficient Distillation Approach for Real-Time Applications
Oren Sultan, Alex Khasin, Guy Shiran, Asnat Greenstein-Messica, Dafna Shahaf
The Conference on Empirical Methods in Natural Language Processing (EMNLP), 2024
PDF Code
ParallelPARC: A Scalable Pipeline for Generating Natural-Language Analogies
Oren Sultan, Yonatan Bitton, Ron Yosef, Dafna Shahaf
The Conference of the North American Chapter of the Association for Computational Linguistics (NAACL), 2024
PDF Code
Life is a Circus and We are the Clowns: Automatically Finding Analogies between Situations and Processes
Oren Sultan, Dafna Shahaf
The Conference on Empirical Methods in Natural Language Processing (EMNLP), 2022
PDF Code
Breakpoint Transformers for Modeling and Tracking Intermediate Beliefs
Kyle Richardson, Ronen Tamari Oren Sultan, Reut Tsarfaty, Dafna Shahaf, Ashish Sabharwal
The Conference on Empirical Methods in Natural Language Processing (EMNLP), 2022
PDF Code
From Judgement's Premises Towards Key Points
Oren Sultan, Rayen Dhahri Yauheni Mardan, Tobias Eder, Georg Groh
arXiv preprint arXiv:2212.12238
PDF Code