4 citations · 8 across the 12 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2025★ 4 cited
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
Konstantin Kaulen, Tobias Ladner, Stanley Bak +8
This report summarizes the 6th International Verification of Neural Networks Competition (VNN-COMP 2025), held as a part of the 8th International Symposium on AI Verification (SAIV…
cs.LG2025
GPT, But Backwards: Exactly Inverting Language Model Outputs
Adrians Skapars, Edoardo Manino, Youcheng Sun +1
Recent work shows that distinct inputs produce distinct hidden representations in LLMs, so the input can in principle be recovered from them. Yet, no existing method can reliably d…