Reasoning Models - Connect Session
Details
ResearchTrend.AI Reasoning Models Connect Session: Multilingual Logic & Formal Semantics!
We are wrapping up the year with a deep dive into the brain of AI! Join us for a special holiday-eve edition of the Reasoning Models (ReLM) Connect Session on ResearchTrend.AI.
This session 💻 brings together two groundbreaking works focusing on how models reason across different languages and how they handle the rigorous logic of programming semantics.
Agenda (UTC) - Wednesday, December 24th
16:00 - 16:30: David Anugraha
📄 Paper: mR3: Multilingual Rubric-Agnostic Reward Reasoning Models
16:30 - 17:00: Yifeng He
📄 Paper: Evaluating Program Semantics Reasoning with Type Inference in System F
🌟 Spend your Christmas Eve morning (or afternoon!) with the frontier of AI reasoning. Whether you are interested in multilingual alignment or the formal verification of code, these talks offer a masterclass in modern LLM logic.
🗓️ Time: 4:00 PM - 5:00 PM UTC
📍 Location: Virtual
👉 Register for this event here: https://lnkd.in/gPhGuTrX
Don't miss our final session of 2025!
📆 Find out more about upcoming events: https://lnkd.in/g7-iczUp
AI summary
By Meetup
Online Reasoning Models Connect session for AI researchers, outcome: learn methods in multilingual reasoning and program-semantics verification.
AI summary
By Meetup
Online Reasoning Models Connect session for AI researchers, outcome: learn methods in multilingual reasoning and program-semantics verification.