Doctoral Mathematics & Silicon EDA
Collection
Discipline-specific foundation models for PhD-level pure mathematics, hardware Verilog RTL design, computational biology, and astrophysics. • 8 items • Updated
📐 Vigyan-7B-PhD-Pure-Math: Abstract Algebra & Pure Mathematics Specialist
Vigyan-7B-PhD-Pure-Math is a domain-specialized LoRA adapter on OLMo-2-1124-7B optimized for rigorous axiomatic mathematics, abstract algebra, and topology.
🧮 Focus Areas
- Abstract Algebra: Group theory, Sylow theorems, Galois theory, and ring homomorphisms.
- Real & Complex Analysis: Metric spaces, Lebesgue integration, Cauchy-Goursat theorems, and contour integration.
- Point-Set Topology: Compactness, connectedness, separation axioms, and homotopy classes.
- Downloads last month
- 10
Model tree for Experimentlab/olmo2-7b-phd-pure-math
Base model
allenai/OLMo-2-1124-7B