This website requires javascript to properly function. Consider activating javascript to get access to all site functionality.
EA Forum Bot Site
EA Forum
Login
Sign up
R
rajarshim
Graduate Mathematics Student and Director of a non-profit @ University of Bonn
1 karma
Joined
Mar 2026
Pursuing a graduate degree (e.g. Master's)
Message
Get notified
Posts
1
Sorted by New
2
There is no systematic pipeline for graduate-level formal proof training data for mathematical AI. I am trying to fix that and mitigate AI safety risk
rajarshim
rajarshim
·
7h
ago
· 2m read
1
1
