Cite
Notes
Only stored in your browser.
Attribution
UXAgent: An LLM Agent-Based Usability Testing Framework for Web Design
arXiv 2025
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
from 2 papers
Bingsheng Yao
Bohan Lyu
Chi Jin
Dakuo Wang
Danqi Chen
professor
David Acuna
Hansu Gu
Haoyu Zhao
Hongzhou Lin
Jessie Wang