Liv Kåreborn

According to our database, Liv Kåreborn authored at least 2 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

CASP: An Evaluation Dataset for Formal Verification of C Code.

Niclas Hertzberg, Merlijn Sevenhuijsen, Liv Kåreborn, Anna Lokrantz

Proceedings of the Bridging the Gap Between AI and Reality, 2025

2024

Exploring Seasonal Variability in the Context of Neural Radiance Fields for 3D Reconstruction on Satellite Imagery.

Liv Kåreborn, Erica Ingerstad, Amanda Berg, Justus Karlsson, Leif Haglund

Proceedings of the Pattern Recognition, 2024