Picture for John Harrison

John Harrison

Eds.

Do Multimodal LLMs See Sentiment?

Add code
Aug 23, 2025
Viaarxiv icon

LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)

Add code
Jan 10, 2006
Figure 1 for LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)
Figure 2 for LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)
Figure 3 for LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)
Figure 4 for LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)
Viaarxiv icon