Patricio Gallardo

According to our database¹, Patricio Gallardo authored at least 4 papers between 2022 and 2026.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis.

[BibT_eX]

[DOI]

CoRR, April, 2026

2023

Computation of GIT quotients of semisimple groups.

[BibT_eX]

[DOI]

Patricio Gallardo

Jesús Martinez-Garcia

Han-Bom Moon

David Swinarski

CoRR, 2023

2022

RSK: A Bitcoin sidechain with stateful smart-contracts.

[BibT_eX]

[DOI]

Sergio Demian Lerner

Javier Álvarez Cid-Fuentes

Julian Len

Ramsès Fernàndez-València

IACR Cryptol. ePrint Arch., 2022

Enumeration of max-pooling responses with generalized permutohedra.

[BibT_eX]

[DOI]

Laura Escobar

Patricio Gallardo

Javier González-Anaya

José L. González

Guido Montúfar

Alejandro H. Morales

CoRR, 2022

Patricio Gallardo

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...