Update cookies preferences
 logo Idiap Research Institute        
All publications sorted by author
| 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57 | 58 | 59 | 60 | 61 | 62 | 63 | 64 | 65 | 66 | 67 | 68 | 69 | 70 | 71 | 72 | 73 | 74 | 75 | 76 | 77 | 78 | 79 | 80 | 81 | 82 | 83 | 84 | 85 | 86 |


Z

Real-Time Face Detection Using Boosting Learning in Hierarchical Feature Spaces, Dong Zhang, S. Z. Li and Daniel Gatica-Perez, in: the International Conference on Pattern Recognition (ICPR), 2004
attachment
Consistent Autoformalization for Constructing Mathematical Libraries, Lan Zhang, Xin Quan and Andre Freitas, in: The 2024 Conference on Empirical Methods in Natural Language Processing, 2024
Formalizing Complex Mathematical Statements with LLMs: A Study on Mathematical Definitions, Lan Zhang, Marco Valentino and Andre Freitas, in: The 2025 Conference on Empirical Methods in Natural Language Processing (best resource paper award), 2025
MASA: A Modular Framework for LLM-Driven Multi-Agent Systems for Autoformalization, Lan Zhang, Marco Valentino and Andre Freitas, in: Demonstration at the 2025 Conference on Empirical Methods in Natural Language Processing, 2025
Quasi-symbolic Semantic Geometry over Transformer-based Variational AutoEncoders, Yingji Zhang, Danilo Carvalho and Andre Freitas, in: 29th Conference on Computational Natural Language Learning (nominated for a best paper award), 2025
Learning Disentangled Semantic Spaces of Explanations via Invertible Neural Networks, Yingji Zhang, Danilo Carvalho and Andre Freitas, in: The 62nd Annual Meeting of the Association for Computational Linguistics, 2024
Improving Semantic Control in Discrete Latent Spaces with Transformer Quantized Variational Autoencoders, Yingji Zhang, Danilo Carvalho, Marco Valentino, Ian Pratt-Hartmann and Andre Freitas, in: Findings of the 18th Conference of the European Chapter of the Association for Computational Linguistics (EACL 2024), 2024
Encoding Explanatory Knowledge for Zero-shot Science Question Answering, Zili Zhou, Marco Valentino, Donal Landers and Andre Freitas, in: 14th International Conference on Computational Semantics, 2021
[URL]
| 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57 | 58 | 59 | 60 | 61 | 62 | 63 | 64 | 65 | 66 | 67 | 68 | 69 | 70 | 71 | 72 | 73 | 74 | 75 | 76 | 77 | 78 | 79 | 80 | 81 | 82 | 83 | 84 | 85 | 86 |