Joshua Ong Jun Leang
Jforeverss
AI & ML interests
None yet
Recent Activity
authored
a paper
1 day ago
Theorem Prover as a Judge for Synthetic Data Generation
authored
a paper
1 day ago
PiCSAR: Probabilistic Confidence Selection And Ranking
upvoted
a
paper
1 day ago
Theorem Prover as a Judge for Synthetic Data Generation
Organizations
