Isabelle/HOL, Lean, Automated Reasoning, Proof Assistants
writing across time
beckton.bearblog.dev·8h
Morning web weaving
jamesg.blog·3h
This researcher turned OpenAI’s open weights model gpt-oss-20b into a non-reasoning ‘base’ model with less alignment, more freedom
venturebeat.com·17h
AI Agents for Legal: Implementing Complex Document Search and Reasoning Agent
pub.towardsai.net·4d
Loading...Loading more...