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

加入 June 2016

61 正在關注 82 粉絲

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%.