Pinned Repositories
14DX_Adsorption
BayesianSymbolicRegression
LeanBET
Formally-verified BET Adsorption analysis in Lean
LeanChemicalTheories
LeanDimensionalAnalysis
Formally-verified dimensional analysis in Lean
LeanMD
Molecular Dynamics in Lean
LFSE2024
Lean for Scientists and Engineers, course taught in Summer 2024
LLMsforSR
LLMSpectroscopy
Automated spectroscopy analysis for the 2024 LLM Hackathon for Applications in Materials and Chemistry
pySR_adsorption
ATOMSLab's Repositories
ATOMSLab/LeanChemicalTheories
ATOMSLab/BayesianSymbolicRegression
ATOMSLab/LeanMD
Molecular Dynamics in Lean
ATOMSLab/LFSE2024
Lean for Scientists and Engineers, course taught in Summer 2024
ATOMSLab/pySR_adsorption
ATOMSLab/LeanBET
Formally-verified BET Adsorption analysis in Lean
ATOMSLab/LeanDimensionalAnalysis
Formally-verified dimensional analysis in Lean
ATOMSLab/LLMsforSR
ATOMSLab/LLMSpectroscopy
Automated spectroscopy analysis for the 2024 LLM Hackathon for Applications in Materials and Chemistry
ATOMSLab/14DX_Adsorption
ATOMSLab/atomslab.github.io
ATOMS Lab website
ATOMSLab/doc-gen
Generate HTML documentation for mathlib and Lean
ATOMSLab/VerifiedReactors