Stars
An uroboros program with 100+ programming languages
A collection of formalized statements of conjectures in Lean.
A Differentiable Interferometer Simulator for the Computational Design of Gravitational Wave Detectors
A project to digitalise results from physics into Lean.
⚡ TabPFN: Foundation Model for Tabular Data ⚡
LaTeX template class for Quantum - the open journal for quantum science
Interesting Scientific Idea Generation Using Knowledge Graphs and LLMs: Evaluations with 100 Research Group Leaders
Robust representation of semantically constrained graphs, in particular for molecules in chemistry
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
A project to map out the relations between different equational theories of Magmas.
A Comprehensive Survey of Scientific Large Language Models and Their Applications in Scientific Discovery (EMNLP'24)
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
An Interactive webVR Exploration tool for PyTheus Graphs
Predicting emergent connections in quantum physics research
blueprint for prime number theorem and more
Forecasting high-impact research topics via machine learning on evolving knowledge graphs
PiSCAT is a python-based package with a graphical user interface for performing high-performance analysis on a variety of iSCAT measurements.
Scalable, Portable and Distributed Gradient Boosting (GBDT, GBRT or GBM) Library, for Python, R, Java, Scala, C++ and more. Runs on single machine, Hadoop, Spark, Dask, Flink and DataFlow
XLuminA, a highly-efficient, auto-differentiating discovery framework for super-resolution microscopy.
A Virtual Reality platform for interactive, immersive network exploration.