| ... | ... | @@ -18,7 +18,7 @@ |
|
|
|
| Priyanka Singh | Large Language Models as Knowledge Bases, or Find The Gap: Knowledge Base Reasoning For Visual Question Answering | | |
|
|
|
|
| Johannes Hoang | “GeoGebra Discovery" / “Automated reasoning tools in GeoGebra Discovery” in “ISSAC 2021 Software Presentations” | | |
|
|
|
|
| Wenwen Wang | "Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT", Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler | | |
|
|
|
|
| Muqaddas Ramzan | "Iscalc: An Interactive Symbolic Computation Framework" Bohua Zhan, Yuheng Fan, Weiqiang Xiong, Runqing Xu | | |
|
|
|
|
| Muqaddas Ramzan | [Now It Compiles!: Certified Automatic Repair of Uncompilable Protocols](https://www.fabriziomontesi.com/files/cm23-arxiv.pdf) | | |
|
|
|
|
| Shokoofeh Kheirdastan | SDSS-DR12 bulk stellar spectral classification: Artificial neural networks approach | |
|
|
|
|
| Edoardo Berardi Vittur | [Aligning Artificial Neural Networks and Ontologies towards Explainable AI](https://ojs.aaai.org/index.php/AAAI/article/view/16626)
|
|
|
|
| Joanes Irigoien Kortabitarte | [NeRF: Representing Scenes as Neural Radiance Fields for View Synthesis](https://arxiv.org/pdf/2003.08934) |
|
| ... | ... | |
| ... | ... | |
