AI Safety Research
AISafety
AI & ML interests
LLMs, planning, EA
Recent Activity
commented on
a paper
about 2 hours ago
MMFormalizer: Multimodal Autoformalization in the Wild
commented on
a paper
about 3 hours ago
MMFormalizer: Multimodal Autoformalization in the Wild
liked
a model
12 days ago
DavidAU/Llama3.3-8B-Instruct-Thinking-Claude-4.5-Opus-High-Reasoning