Good Papers

Showing papers from INSAIT Show all papers

57%Worth a look
?Worth a lookVote to see the score

PhysDNet: Physics-Driven Gradient Amplification for Real-Time Image Dehazing

Rayen Dhahri, Lei Sun, Victor J Morinigo, Alice Pagnoux and 3 more

Sydney Poster Session 3, Wed, Dec 9, 10:00 AM–1:00 PM, Hall 1-4 · Published 2026

– ReadersNo votes yet
1/20 AI panelreviewers recommend it

Readers and the AI panel: vote on this paper to see what they said.

Only vote on papers you've read. Sign in with GitHub to vote.

AI panel: 1 of 20 reviewers recommend it
lenient 1/5
medium 0/10
strict 0/5
76%Highly rated
?Highly ratedVote to see the score

LensDesigner: A Self-Improving Agent for Optical Lens Design

LensDesigner is a self-improving autonomous agent that uses retrieval, simulation, and curriculum learning to design optical lenses, significantly outperforming baselines on 120 diverse tasks.

Lei Sun, Haoran Liang, Dannong Xu, Yao Gao and 5 more

Sydney Poster Session 5, Thu, Dec 10, 10:00 AM–1:00 PM, Hall 1-4 · Published 2026

– ReadersNo votes yet
10/20 AI panelreviewers recommend it

Readers and the AI panel: vote on this paper to see what they said.

Only vote on papers you've read. Sign in with GitHub to vote.

AI panel: 10 of 20 reviewers recommend it
lenient 5/5
medium 5/10
strict 0/5
72%Highly rated
?Highly ratedVote to see the score

Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness

ProofRank benchmarks LLM proof quality via conciseness, ease, simplicity, diversity, and adaptivity, revealing quality differences and trade-offs with correctness.

Ivo Petrov, Jasper Dekoninck, Dimitar I. Dimitrov, Martin Vechev

Sydney Poster Session 1, Tue, Dec 8, 10:00 AM–1:00 PM, Hall 1-4 · Published 2026

– ReadersNo votes yet
8/20 AI panelreviewers recommend it

Readers and the AI panel: vote on this paper to see what they said.

Only vote on papers you've read. Sign in with GitHub to vote.

AI panel: 8 of 20 reviewers recommend it
lenient 4/5
medium 4/10
strict 0/5