Kári Rögnvaldsson(@karirogg):Introducing a new paper, my first with the SRI Lab, where I have now officially started my PhD! Lean proving agents are expensive. We came up with a method to efficiently query these agents, maintaining performance while decreasing query cost by 25.8%.

Kári Rögnvaldsson

@karirogg

PhD Student @eth @the_sri_lab

Joined June 2016

61 Following 82 Followers

Kári Rögnvaldsson@karirogg

2026.06.04 11:31

Introducing a new paper, my first with the SRI Lab, where I have now officially started my PhD! Lean proving agents are expensive. We came up with a method to efficiently query these agents, maintaining performance while decreasing query cost by 25.8%.