Style de citation APA (7e éd.)

Ji, J. (2026). CSLibPremiseBench: Structure-Guided Premise Retrieval and Label Robustness for Lean 4 Computer-Science Theorems.

Style de citation Chicago (17e éd.)

Ji, Junye. CSLibPremiseBench: Structure-Guided Premise Retrieval and Label Robustness for Lean 4 Computer-Science Theorems. 2026.

Style de citation MLA (9e éd.)

Ji, Junye. CSLibPremiseBench: Structure-Guided Premise Retrieval and Label Robustness for Lean 4 Computer-Science Theorems. 2026.

Attention : ces citations peuvent ne pas être correctes à 100%.