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