-
Notifications
You must be signed in to change notification settings - Fork 80
Pull requests: zzli2022/Awesome-System2-Reasoning-LLM
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add PUMA: Semantic-Preserving Early Exit for Reasoning Models
#32
opened May 25, 2026 by
ZhishanQ
Loading…
Add Verantyx v6: LLM-free symbolic reasoning engine for HLE
#29
opened Feb 23, 2026 by
Ag3497120
Loading…
please consider add works related to formal reasoning
#23
opened Jun 12, 2025 by
zhouliang-yu
Loading…
ProTip!
Updated in the last three days: updated:>2026-07-14.