ATOMSLab

AI & Theory-Oriented Molecular Science Lab @UMBC

Baltimore, Maryland

Pinned Repositories

14DX_Adsorption
Language:Roff0 1 00
BayesianSymbolicRegression
Language:Jupyter Notebook7 2 02
LeanBET
Formally-verified BET Adsorption analysis in Lean
Language:Lean2 1 02
LeanChemicalTheories
Language:Lean31 2 23
LeanDimensionalAnalysis
Formally-verified dimensional analysis in Lean
Language:C20
LeanMD
Molecular Dynamics in Lean
Language:Lean6 1 01
LFSE2024
Lean for Scientists and Engineers, course taught in Summer 2024
Language:Lean5 1 00
LLMsforSR
Language:Jupyter Notebook1 1 00
LLMSpectroscopy
Automated spectroscopy analysis for the 2024 LLM Hackathon for Applications in Materials and Chemistry
Language:Jupyter Notebook1 1 03
pySR_adsorption
Language:Jupyter Notebook4 1 00

ATOMSLab's Repositories

ATOMSLab/LeanChemicalTheories
Language:Lean31 2 23
ATOMSLab/BayesianSymbolicRegression
Language:Jupyter Notebook7 2 02
ATOMSLab/LeanMD
Molecular Dynamics in Lean
Language:Lean6 1 01
ATOMSLab/LFSE2024
Lean for Scientists and Engineers, course taught in Summer 2024
Language:Lean5 1 00
ATOMSLab/pySR_adsorption
Language:Jupyter Notebook4 1 00
ATOMSLab/LeanBET
Formally-verified BET Adsorption analysis in Lean
Language:Lean2 1 02
ATOMSLab/LeanDimensionalAnalysis
Formally-verified dimensional analysis in Lean
Language:C20
ATOMSLab/LLMsforSR
Language:Jupyter Notebook1 1 00
ATOMSLab/LLMSpectroscopy
Automated spectroscopy analysis for the 2024 LLM Hackathon for Applications in Materials and Chemistry
Language:Jupyter Notebook1 1 03
ATOMSLab/14DX_Adsorption
Language:Roff0 1 00
ATOMSLab/atomslab.github.io
ATOMS Lab website
Language:HTML0 0 03
ATOMSLab/doc-gen
Generate HTML documentation for mathlib and Lean
Language:Python0 0 01
ATOMSLab/VerifiedReactors
01