(Gates & Hillman Centers (GHC) 6115, Carnegie Mellon University, April 18, 2025)

Schedule

Friday, April 18th, 2025

All times are in Eastern Standard Time (EST) (Check local time)

Location: Gates & Hillman Centers (GHC) 6115, Carnegie Mellon University

10:00am - 10:10am Opening Remarks
10:10am - 12:00pm Oral Presentations - Session 1

1. (Preliminary Work Track) Should I Agree with You? Simulating Persuasion and Decision Dynamics in Multi‑Agent Moral Dilemmas (10:10 am - 10:20 am) OpenReview

2. (Theme Track) AlphaVerus: Bootstrapping Formally Verified Code Generation through Self‑Improving Translation and Treefinement (10:20 am - 10:40 am) OpenReview

3. Human‑Aligned Chess With a Bit of Search (10:40 am - 11:00 am) OpenReview

4. Fairshare Data Pricing for Large Language Models (11:00 am - 11:20 am) OpenReview

5. Energy Considerations of Large Language Model Inference and Efficiency Optimizations (11:20 am - 11:40 am) OpenReview
12:00pm - 1:30pm Poster Session & Lunch
1:30pm - 3:10pm Oral Presentations - Session 2

6. Social Scaffolds: A Generalization Framework for Social Understanding Tasks (1:30 pm - 1:50 pm) OpenReview

7. MICE for CATs: Model‑Internal Confidence Estimation for Calibrating Agents with Tools (1:50 pm - 2:10 pm) OpenReview

8. On the Feasibility of In‑Context Probing for Data Attribution (2:10 pm - 2:30 pm) OpenReview

9. Toward Global AI Inclusivity: A Large‑Scale Multilingual Terminology Dataset (GIST) (2:30 pm - 2:50 pm) OpenReview

10. Mind the Gesture: Evaluating AI Sensitivity to Culturally Offensive Non‑Verbal Gestures (2:50 pm - 3:10 pm) OpenReview
3:10pm - 3:30pm Coffee Break
3:30pm - 4:30pm Invited talk: Fairness and Privacy in High-Stakes NLP Anjalie Field, JHU
4:30pm - 4:40pm Close Remarks