Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets. - Sylvain Carré; Franck Gabriel; Clément Hongler; Gustavo Lacerda; Gloria Capano (CoRR, 2021)

Insider trading with penalties. - Sylvain Carré; Pierre Collin-Dufresne; Franck Gabriel (J. Econ. Theory, 2022)

Smart Proofs via Recursive Information Gathering: Decentralized Refereeing by Smart Contracts. - Sylvain Carré; Franck Gabriel; Clément Hongler; Gustavo Lacerda; Gloria Capano (Distributed Ledger Technol. Res. Pract., 2024)