Publications | Oren Sultan /publication/ Publications Source Themes Academic (https://sourcethemes.com/academic/)en-usTue, 31 Oct 2023 00:00:00 +0000 img/map[gravatar:%!s(bool=false) shape:circle] Publications /publication/ LLMs versus the Halting Problem: Revisiting Program Termination Prediction /publication/LLMsHaltingProblem/ Thu, 29 Jan 2026 00:00:00 +0000 /publication/LLMsHaltingProblem/ CWM: An Open-Weights LLM for Research on Code Generation with World Models /publication/CWM/ Tue, 30 Sep 2025 00:00:00 +0000 /publication/CWM/ A Neuro-Symbolic Approach for Reliable Proof Generation with LLMs: A Case Study in Euclidean Geometry /publication/LLM_proof_generation/ Tue, 20 May 2025 00:00:00 +0000 /publication/LLM_proof_generation/ Visual Editing with LLM-based Tool Chaining: An Efficient Distillation Approach for Real-Time Applications /publication/AIRecolor/ Sat, 03 Oct 2024 00:00:00 +0000 /publication/AIRecolor/ ParallelPARC: A Scalable Pipeline for Generating Natural-Language Analogies /publication/parallelparc/ Sat, 02 Mar 2024 00:00:00 +0000 /publication/parallelparc/ Life is a Circus and We are the Clowns: Automatically Finding Analogies between Situations and Processes /publication/life_is_a_circus/ Tue, 21 Oct 2022 00:00:00 +0000 /publication/life_is_a_circus/ Breakpoint Transformers for Modeling and Tracking Intermediate Beliefs /publication/breakpoint_transformers/ Tue, 15 Nov 2022 00:00:00 +0000 /publication/breakpoint_transformers/ From Judgement's Premises Towards Key Points /publication/KP_extraction/ Fri, 23 Dec 2022 00:00:00 +0000 /publication/KP_extraction/