AAAI 2026 Bridge PLAN-FM Submissions

ProofNet++: A Neuro-Symbolic System for Formal Proof Verification with Self-Correction
Murari Ambati
- Published: 18 Nov 2025, Last Modified: 20 Jan 2026
- PLAN-FM Bridge @ AAAI 2026
- Readers: Everyone
Rethinking Reward Models! A Conceptual Framework for Enhancing LLM Reasoning through Intrinsic Traits
Het Riteshkumar Shah, Megha Sundriyal
- Published: 18 Nov 2025, Last Modified: 20 Jan 2026
- PLAN-FM Bridge @ AAAI 2026
- Readers: Everyone
Next-Latent Prediction Transformers Learn Compact World Models
Jayden Teoh, Manan Tomar, Kwangjun Ahn, Edward S. Hu, Pratyusha Sharma, Riashat Islam, Alex Lamb, John Langford
- Published: 18 Nov 2025, Last Modified: 20 Jan 2026
- PLAN-FM Bridge @ AAAI 2026
- Readers: Everyone
Metrics for Holistic Evaluation of LLM Reasoning about Action, Change, and Planning
Anil B Murthy, Jaron Mink, Lindsay Sanneman
- Published: 18 Nov 2025, Last Modified: 23 Jan 2026
- PLAN-FM Bridge @ AAAI 2026
- Readers: Everyone
SAMKE: An Open-Ended Autonomous Foundation-Model-Based Agent for Meta-Knowledge Discovery and Learning
Nitin Vetcha, Dianbo Liu
- Published: 18 Nov 2025, Last Modified: 20 Jan 2026
- PLAN-FM Bridge @ AAAI 2026
- Readers: Everyone