LeanDojo: Theorem Proving in Lean Using LLMs (leandojo.org)

Screenshot of leandojo.org: LeanDojo: Theorem Proving in Lean Using LLMs

First screen, captured 2 years ago.

Looks similar

Screenshot of yamlscript.org: Learning YAMLScript from Clojure

Learning YAMLScript from Clojure (yamlscript.org)

15 points by arunix 1 year ago | 3 comments

Screenshot of efraingaray.com: TabPFN and TabICL vs. tuned XGBoost: the model that doesn't train won 14/14

TabPFN and TabICL vs. tuned XGBoost: the model that doesn't train won 14/14 (efraingaray.com)

21 points by EfrainGaray 28 days ago | 9 comments

Blog post benchmarking TabPFN and TabICL foundation models against tuned XGBoost on fourteen tabular datasets, finding the no-training models won all fourteen.

tabpfn tabicl xgboost tabular-data

Screenshot of souzatharsis.com: Taming LLMs – A Practical Guide to LLM Pitfalls with Open Source Software

Taming LLMs – A Practical Guide to LLM Pitfalls with Open Source Software (souzatharsis.com)

158 points by sebg 1 year ago | 26 comments

Screenshot of lakesare.brick.do: Lean, Coq and other proof assistants: Visualising proofs as trees

Lean, Coq and other proof assistants: Visualising proofs as trees (lakesare.brick.do)

138 points by lakesare 3 years ago | 25 comments

Screenshot of panadestein.github.io: Scheming a mise-en-abîme in BQN

Scheming a mise-en-abîme in BQN (panadestein.github.io)

38 points by todsacerdoti 1 year ago | 0 comments

Screenshot of cambioml.com: Show HN: Pykoi – a Python library for LLM data collection and fine tuning

Show HN: Pykoi – a Python library for LLM data collection and fine tuning (cambioml.com)

101 points by jaredwilber 3 years ago | 2 comments

Looks similar

Learning YAMLScript from Clojure(yamlscript.org)

TabPFN and TabICL vs. tuned XGBoost: the model that doesn't train won 14/14(efraingaray.com)

Taming LLMs – A Practical Guide to LLM Pitfalls with Open Source Software(souzatharsis.com)

Lean, Coq and other proof assistants: Visualising proofs as trees(lakesare.brick.do)

Scheming a mise-en-abîme in BQN(panadestein.github.io)

Show HN: Pykoi – a Python library for LLM data collection and fine tuning(cambioml.com)