femartip's Stars
stanford-oval/storm
An LLM-powered knowledge curation system that researches a topic and generates a full-length report with citations.
rgreenblatt/arc_draw_more_samples_pub
Draw more samples
facebookresearch/Evariste
HyperTree Proof Search for Neural Theorem Proving -- "La science est l'œuvre de l'esprit humain, qui est plutôt destiné à étudier qu'à connaître, à chercher qu'à trouver la vérité."
OpenAutoCoder/Agentless
Agentless🐱: an agentless approach to automatically solve software development problems
KindXiaoming/pykan
Kolmogorov Arnold Networks
SakanaAI/AI-Scientist
The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery 🧑🔬
kuleshov/cornell-cs5785-2024-applied-ml
Lecture materials for Cornell CS5785 Applied Machine Learning (Fall 2024)
bamos/presentations
tensorflow/lucid
A collection of infrastructure and tools for research in neural network interpretability.
qupath/qupath
QuPath - Bioimage analysis & digital pathology
UChicago-PL/smyth
Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
jfeser/L2
λ² is a tool for synthesizing functional programs from input-output examples.