iiinova — where your digital self keeps evolving

João Loula

@joaoloula.bsky.social

22 followers 22 following 4 posts

PhD student @probcompproj and @MITCoCoSci, working on scaling data science using probabilistic programming.

Posts Replies Media

Reposted by João Loula

Ben Lipkin @benlipkin.bsky.social · 13/05/2025

Many LM applications may be formulated as text generation conditional on some (Boolean) constraint. Generate a… - Python program that passes a test suite. - PDDL plan that satisfies a goal. - CoT trajectory that yields a positive reward. The list goes on… How can we efficiently satisfy these? 🧵👇

2136

João Loula @joaoloula.bsky.social · 25/04/2025

#ICLR2025 Oral How can we control LMs using diverse signals such as static analyses, test cases, and simulations? In our paper “Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlo” (w/ @benlipkin.bsky.social, @alexlew.bsky.social, @xtimv.bsky.social) we:

176