Qingchuan Ma
QingchuanMa
ยท
AI & ML interests
None yet
Recent Activity
authored a paper about 1 month ago
A2RBench: An Automatic Paradigm for Formally Verifiable Abstract Reasoning Benchmark Generation upvoted a paper about 1 month ago
A2RBench: An Automatic Paradigm for Formally Verifiable Abstract Reasoning Benchmark Generation submitted a paper about 1 month ago
A2RBench: An Automatic Paradigm for Formally Verifiable Abstract Reasoning Benchmark GenerationOrganizations
None yet