Teresa Krämer

According to our database, Teresa Krämer authored at least 1 paper in 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection.

Ulrich Furbach, Teresa Krämer, Claudia Schon

Proceedings of the Automated Deduction - CADE 27, 2019