activity
20222025
most citedFrom Generation to Judgment: Opportunities and Challenges of LLM-as-a-judge

12 citations · 44 across the 25 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2024

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout

Bohan Li, Dawei Li, Ming Fu +1

Leveraging the flexible expressive ability of (Max)SMT and the powerful solving ability of SMT solvers, we propose a novel layout model named SMT-Layout. SMT-Layout is the first co…