Home
→
Search

Search

Filters

Use filters to refine the search results.

Current Filters:



New Filters:

Showing 2 out of a total of 2 results. (0.004 seconds)

Now showing items 1-2 of 2

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

Large language models for program verification

Bharti, Varun; Jalote, Pankaj (Advisor); Kumar, Dhruv (Advisor); Akhtar, Md. Shad (Advisor) (IIIT-Delhi, 2024-11-27)
KG-Scout : a policy driven knowledge-graph retrieval framework to mitigate factual inaccuracies of large language model

Chakraborty, Sourav; Akhtar, Md. Shad (Advisor) (IIIT-Delhi, 2025-08)

Now showing items 1-2 of 2

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

Browse

All of DSpace

My Account

Discover

Author
- Akhtar, Md. Shad (Advisor) (2)
- Bharti, Varun (1)
- Chakraborty, Sourav (1)
- Jalote, Pankaj (Advisor) (1)
- Kumar, Dhruv (Advisor) (1)
Subject
- Large Language Models (2)
- Automation (1)
- Invariants Generation (1)
- Machine Learning (1)
- Program Verification (1)
- Reinforcement learning (1)
- ... View More
Date Issued
- 2024 (1)
- 2025 (1)
Has File(s)
- Yes (2)