PXAI
Feed
Regions
DE
ES
FR
GR
IT
UK
US
View All
Viral
World
Politics
Technology
Daily Briefing
Sources
|
ToS
PXAI Audio Feed
+5
ΟΛΑ
09/04 07:00
arxiv.org
ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning
ProofSketcher
LLM
lightweight proof checker
mathematical reasoning
logical reasoning
formal verification
Comments
Loading...
Send
Dev Changelog
v8.42
No logs found in database.
0
Display Settings
Size
Aa
Brightness
Theme
Dark
Comments