109 results on '"André Freitas"'
Search Results
2. Diffusion Twigs with Loop Guidance for Conditional Graph Generation.
3. Consistent Autoformalization for Constructing Mathematical Libraries.
4. Controlled LLM-based Reasoning for Clinical Trial Retrieval.
5. SylloBio-NLI: Evaluating Large Language Models on Biomedical Syllogistic Reasoning.
6. Reasoning with Natural Language Explanations.
7. Gem: Gaussian Mixture Model Embeddings for Numerical Feature Distributions.
8. Interpreting token compositionality in LLMs: A robustness analysis.
9. Graph Neural Flows for Unveiling Systemic Interactions Among Irregularly Sampled Time Series.
10. A Mechanistic Interpretation of Syllogistic Reasoning in Auto-Regressive Language Models.
11. The Mechanics of Conceptual Interpretation in GPT Models: Interpretative Insights.
12. Inductive Learning of Logical Theories with LLMs: A Complexity-graded Analysis.
13. TableDC: Deep Clustering for Tabular Data.
14. An LLM-based Knowledge Synthesis and Scientific Reasoning Framework for Biomedical Discovery.
15. Inference to the Best Explanation in Large Language Models.
16. Estimating the Causal Effects of Natural Logic Features in Transformer-Based NLI Models.
17. Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving.
18. A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference.
19. SemEval-2024 Task 2: Safe Biomedical Natural Language Inference for Clinical Trials.
20. Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions.
21. Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement.
22. Self-Refine Instruction-Tuning for Aligning Reasoning in Language Models.
23. Improving Semantic Control in Discrete Latent Spaces with Transformer Quantized Variational Autoencoders.
24. On the Visualisation of Argumentation Graphs to Support Text Interpretation.
25. Empowering Cross-lingual Abilities of Instruction-tuned Large Language Models by Translation-following demonstrations.
26. Analysis of business process automation as linear time-invariant system network.
27. A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation.
28. Large Language Models, scientific knowledge and factuality: A systematic analysis in antibiotic discovery.
29. Interventional Probing in High Dimensions: An NLI Case Study.
30. Estimating the Causal Effects of Natural Logic Features in Neural NLI Models.
31. Multi-Operational Mathematical Derivations in Latent Space.
32. Multi-Relational Hyperbolic Word Embeddings from Natural Language Definitions.
33. A Symbolic Framework for Systematic Evaluation of Mathematical Reasoning with Transformers.
34. SemEval-2023 Task 7: Multi-Evidence Natural Language Inference for Clinical Trial Data.
35. Towards Controllable Natural Language Inference through Lexical Inference Types.
36. Generating Mathematical Derivations with Large Language Models.
37. LlaMaVAE: Guiding Large Language Model Generation via Continuous Latent Sentence Spaces.
38. NLI4CT: Multi-Evidence Natural Language Inference for Clinical Trial Reports.
39. Learning Disentangled Semantic Spaces of Explanations via Invertible Neural Networks.
40. Graph-Induced Syntactic-Semantic Spaces in Transformer-Based Variational AutoEncoders.
41. Relation Extraction in underexplored biomedical domains: A diversity-optimised sampling and synthetic data generation approach.
42. Discourse-Aware Text Simplification: From Complex Sentences to Linked Propositions.
43. Deep Clustering for Data Cleaning and Integration.
44. A Survey in Mathematical Language Processing.
45. Assessing the communication gap between AI models and healthcare professionals: explainability, utility and trust in AI-driven clinical decision-making.
46. Montague semantics and modifier consistency measurement in neural language models.
47. Microeconomic Foundations of Decentralised Organisations.
48. Biologically-informed deep learning models for cancer: fundamental trends for encoding and interpreting oncology data.
49. Quasi-symbolic explanatory NLI via disentanglement: A geometrical examination.
50. Active entailment encoding for explanation tree construction using parsimonious generation of hard negatives.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.