activity
20232026
most citedAn In-Context Learning Agent for Formal Theorem-Proving

4 citations · 5 across the 3 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.LO2026

First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation

Janine Lohse, Tim Rohde, Jimmy Xin +5

There has recently been exciting progress in the realm of probabilistic separation logics. An important subclass of these-including PSL, Lilac, Bluebell, and pcOL-are distributiona…