Download as PPTX, PDF, TXT or read online from Scribd
Download as pptx, pdf, or txt
You are on page 1/ 4
Basic Details of the
Team and Problem
Statement Organization: Ministry of Defence PS Code: SIH1420 Problem Statement Title: Lean module for reasoning about computational complexity in GPTs.
Team Leader Name: Lee Henriques
Institute Code (AISHE): C-45250
Institute Name: Universal College of Engineering
Theme Name: Miscellaneous
Idea/Approach Details Use Cases : Key component for the solution :
Formalization of Computational Complexity Formalization of Computational
Classes: Define the basic computational complexity Complexity Classes: Define BGP, BQP, BPP, classes such as BGP (=AWPP), BQP, BPP, PP, PSPACE PP, PSPACE within Lean. in the context of GPTs. Dependent Type Theory for GPTs: Utilize Formal Proofs for Computational Complexity dependent type theory in Lean for GPTs. Results: Utilize Lean to develop formal proofs for known computational complexity results and theorems Higher Order Interference Formalization: in GPTs. Extend Lean for formalizing higher-order interference in physical theories. Higher Order Interference Formalization: Extend the Lean module to formalize the concept of higher Basic Definitions and Results in GPTs: order interference in the context of GPTs. Develop Lean modules for foundational GPT concepts. Toolset for Computational Complexity Analysis: Develop tools within the Lean module that facilitate Tools for Reasoning about Computational the analysis of computational complexity in GPTs. Complexity: Implement Lean tools for analyzing computational complexity. Integration with Existing Lean Libraries: Integrate the developed module with existing Lean Proofs and Lemmas Automation: Design libraries for mathematics and computer science. automation for Lean to construct formal proofs. Process flowchart :
Start
Idea/Approach Details Define Core
Concepts
Tools and Dependency :
Build Hierarchies Video Processing Software: Software like MATLAB, Python with OpenCV, or dedicated MAV software packages. Implement Tools High-Resolution Cameras: Depend on high- quality cameras or video recording devices for clear footage. Extend for Higher- Computing Resources: Powerful computers Order Interference with sufficient processing power for video analysis and motion amplification. Image and Video Libraries: Dependencies for Formal Proofs handling and processing images and video files. Feature Tracking Algorithms: Libraries or algorithms for tracking moving features within video frames. Documentation Data Visualization Tools: Tools for visualizing the results and creating reports. 3 End Team Member Details Team Leader Name: Lee Henriques Branch (BE): Artificial Intelligence and Machine Learning Stream :CSE Year : III : Team Member 1 Name: Maithili Jha Branch (BE): Artificial Intelligence and Machine Learning Stream :CSE Year : III Team Member 2 Name: Jigar Patel Branch (BE): Computer Engineering Stream :CSE Year : III Team Member 3 Name: Ashutosh Pawar Branch (BE): Data Engineering Stream :CSE Year : III Team Member 4 Name: Aarsh Vanjre Branch (BE): Data Engineering Stream :CSE Year : III Team Member 5 Name: Sai Saketh Gudla Branch (BE) : Data Engineering Stream :CSE Year : III Team Mentor 1 Name: Type Your Name Here Category (Academic/Industry): Expertise (AI/ML/Blockchain etc): Domain Experience (in years): Team Mentor 2 Name: Type Your Name Here Category (Academic/Industry): Expertise (AI/ML/Blockchain etc): Domain Experience (in years):
