Jules Ackerman
jackerman9
·
AI & ML interests
interested in formal proofs, test-time compute, histopathology, medical QA
Recent Activity
upvoted a paper 5 days ago
LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification liked a dataset 6 days ago
CreitinGameplays/magpie-reasoning-v1-10k-step-by-step-rationale-alpaca-format-changedtoken-mistral liked a dataset 6 days ago
invincible-jha/gpt-5.4-step-by-step-reasoningOrganizations
None yet