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
How to use Experimentlab/olmo2-7b-phd-pure-math with PEFT:
from peft import PeftModel
from transformers import AutoModelForCausalLM
base_model = AutoModelForCausalLM.from_pretrained("allenai/OLMo-2-1124-7B-Instruct")
model = PeftModel.from_pretrained(base_model, "Experimentlab/olmo2-7b-phd-pure-math")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.
Base model
allenai/OLMo-2-1124-7B