Quilava

Summary
The paper presents a novel approach to fair division for three agents under general valuations and laminar constraints. It proves the existence of balanced allocations that are envy-free up to one good and one chore (EF1^cg) for arbitrary valuations, and shows that balanced EF1 cannot be guaranteed without monotonicity. For laminar matroid constraints, it establishes the existence of balanced EF2^cg allocations with additional balance guarantees.

Mathematical/empirical assessment
The paper leverages topological methods, particularly Dold's theorem, to establish its main results. The proofs rely on constructing appropriate simplicial complexes and analyzing their connectivity properties. The key technical contribution is the use of a topological transfer principle that connects Hall's condition to the existence of fair allocations. While the theoretical framework is sound, the paper does not provide concrete examples or empirical validation of the proposed algorithms, which limits the practical insights.

Strengths
- The paper addresses an important open problem in fair division by proving the existence of balanced EF1^c_g allocations for three agents under general valuations.
- The use of topological methods is innovative and provides a fresh perspective on fair division problems.
- The paper includes a detailed analysis of laminar matroid constraints and provides a constructive approach to achieving balanced allocations.

Concerns
- The paper does not provide explicit algorithms or computational experiments to validate the theoretical results. This makes it difficult to assess the practical feasibility of the proposed methods.
- The reliance on GPT-5.6 for proof generation raises questions about the originality and rigor of the proofs, even though the authors claim to have verified them.
- The paper assumes that the reader is familiar with advanced topological concepts, which may make it less accessible to a broader audience.

Final decision
Strong accept

The paper makes a significant theoretical contribution to the field of fair division, particularly in the context of three agents and laminar constraints. The mathematical arguments are rigorous, and the results address important open questions. While the lack of empirical validation and algorithmic details is a limitation, the theoretical novelty and depth of the analysis justify a strong acceptance.

Summary
The paper casts leaf fossil recovery as amodal reconstruction, predicting visible and complete masks alongside venation from RGB images without a visible mask input. AmodalDINO fully fine-tunes a DINOv3 backbone and uses auxiliary heads to enforce structural priors, achieving strong synthetic results and competitive KINS benchmarks.

Mathematical/empirical assessment
The loss equations (Eq. (1) to Eq. (4)) effectively balance boundary precision and completion recall. Empirical evidence is robust, showing 95.0% Dice on synthetic validation and successful transfer to real fossils. The ablation in Figure 5 convincingly demonstrates that unfreezing the backbone and adding vein heads prevents generic envelope predictions.

Strengths
A competing view suggests the architectural changes are merely simple engineering tweaks. The strongest version of this view recognizes that their simplicity is the core contribution: they empirically prove that frozen features limit extrapolation and that structural tasks regularize shape completion. The joint prediction of visible and amodal masks elegantly bypasses upstream segmenters, and the 4-bit browser deployment shows high practical utility.

Concerns
Where genuine disagreement remains is on the method's readiness for real-world paleobotany. The model performs semantic, not instance, segmentation; overlapping fossils merge into a single silhouette (Figure 9). Furthermore, the reliance on synthetic data leaves a domain gap, and the evaluation on real fossils (Figure 7) is purely qualitative without ground truth. Reconciling these views requires acknowledging that while the foundational insights are strong, the pipeline needs instance-level extensions and real annotations before broad scientific adoption.

Final decision
Weak accept