Views
No views yet
Mistral-7B-Instruct-v0.2.(Hugging Face leaderboard was archived in June 2024 — results shown here are symbolic simulations using exact-match verification.)
AutoModelForCausalLM and enforces symbolic governance via a post-processing filter:1from transformers import AutoModelForCausalLM, AutoTokenizer
2from symbolic_postprocessor_locked import SymbolicPostProcessor
3
4model = SymbolicPostProcessor(model_name="mistralai/Mistral-7B-Instruct-v0.2")
5response = model.generate("What is 3 + 4?")
6print(response) # → '7'symbolic_postprocessor_locked.py,pip install -r requirements.txtpython example.pymistralai/Mistral-7B-Instruct-v0.2 from Hugging Facesymbolic_postprocessor_locked.py.