arxiv:2508.21787
Joshua Ong Jun Leang
Jforeverss
AI & ML interests
None yet
Recent Activity
updated
a dataset about 3 hours ago
DiffLean/Formal-Proof-Unverified published
a dataset about 5 hours ago
DiffLean/Formal-Proof-Unverified upvoted a paper 2 days ago
Unified Vision-Language Modeling via Concept Space Alignment