Style de citation APA (7e éd.)

Dantas, P., Cordeiro, L., Sun, Y., & Junior, W. (2025). The 4/$δ$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee.

Style de citation Chicago (17e éd.)

Dantas, PIerre, Lucas Cordeiro, Youcheng Sun, et Waldir Junior. The 4/$δ$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee. 2025.

Style de citation MLA (9e éd.)

Dantas, PIerre, et al. The 4/$δ$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee. 2025.