



import logging
import os
import sys
from dataclasses import dataclass, field
from typing import List, Optional

import torch
from datasets import Dataset
from torch import nn
from tqdm.auto import tqdm

from transformers import (
    AutoModelForSequenceClassification,
    AutoTokenizer,
    HfArgumentParser,
    Trainer,
    TrainingArguments,
    set_seed,
    utils,
)
from transformers.trainer_utils import get_last_checkpoint, is_main_process


A__  :  Union[str, Any]       = '''
Distills an NLI-based zero-shot classifier to a smaller, more efficient model with a fixed set of candidate class
names. Useful for speeding up zero-shot classification in cases where labeled training data is not available, but
when only a single fixed set of classes is needed. Takes a teacher NLI model, student classifier model, unlabeled
dataset, and set of K possible class names. Yields a single classifier with K outputs corresponding to the provided
class names.
'''

A__  :  Optional[Any]       = logging.getLogger(__name__)



@dataclass
class     __snake_case						:






							"""simple docstring"""




							_a      				=			field(
							    default='''roberta-large-mnli'''						,metadata={'''help''': '''The NLI/zero-shot teacher model to be distilled.'''}						)
							_a      				=			field(
							    default='''This example is {}.'''						,metadata={
							        '''help''': (
							            '''Template used to turn class names into mock hypotheses for teacher NLI model. Must include {{}}'''
							            '''where class name is inserted.'''
							        )
							    }						,)
							_a      				=			field(
							    default=32						,metadata={'''help''': '''Batch size for generating teacher predictions.'''}						)
							_a      				=			field(
							    default=_lowerCamelCase						,metadata={
							        '''help''': (
							            '''Allow multiple classes to be true rather than forcing them to sum to 1 (sometimes called'''
							            '''multi-class multi-label classification).'''
							        )
							    }						,)
							_a      				=			field(
							    default=1.0						,metadata={'''help''': '''Temperature applied to teacher softmax for distillation.'''}						)





@dataclass
class     __snake_case						:






							"""simple docstring"""




							_a      				=			field(
							    default='''distilbert-base-uncased'''						,metadata={'''help''': '''The NLI/zero-shot teacher model to be distilled.'''}						)





@dataclass
class     __snake_case						:






							"""simple docstring"""




							_a      				=			field(metadata={'''help''': '''Text file with one unlabeled instance per line.'''}						)
							_a      				=			field(metadata={'''help''': '''Text file with one class name per line.'''}						)
							_a      				=			field(
							    default=_lowerCamelCase						,metadata={'''help''': '''Whether to use one of the fast tokenizer (backed by the Rust tokenizers library) or not.'''}						,)





@dataclass
class     __snake_case						(					_lowerCamelCase						):






							"""simple docstring"""




							_a      				=			field(
							    default=_lowerCamelCase						,metadata={'''help''': '''The output directory where the model predictions and checkpoints will be written.'''}						,)
							_a      				=			field(
							    default=32						,metadata={'''help''': '''Batch size per GPU/TPU core/CPU for training.'''}						)
							_a      				=			field(
							    default=128						,metadata={'''help''': '''Batch size per GPU/TPU core/CPU for evaluation.'''}						)
							_a      				=			field(default=1.0						,metadata={'''help''': '''Total number of training epochs to perform.'''}						)
							_a      				=			field(default=_lowerCamelCase						,metadata={'''help''': '''Whether to run training of student model.'''}						)
							_a      				=			field(
							    default=_lowerCamelCase						,metadata={
							        '''help''': (
							            '''Whether to evaluate the agreement of the final student predictions and the teacher predictions'''
							            '''after training.'''
							        )
							    }						,)
							_a      				=			field(
							    default=0						,metadata={
							        '''help''': (
							            '''Limit the total amount of checkpoints.'''
							            '''Deletes the older checkpoints in the output_dir. Default is 0 (no checkpoints).'''
							        )
							    }						,)





class     __snake_case						(					_lowerCamelCase						):






							"""simple docstring"""




							def        UpperCAmelCase__      (	self					:	Optional[Any]    ,    A_					:	Optional[Any]    ,    A_					:	Any    ,    A_					:	Tuple=False):
									lowerCAmelCase_      :					int     =			inputs['labels']
									lowerCAmelCase_      :					Dict     =			model(inputs['''input_ids''']    ,    attention_mask=inputs['''attention_mask'''])
									lowerCAmelCase_      :					Dict     =			outputs[0]

									lowerCAmelCase_      :					Dict     =			-torch.sum(target_p * logits.log_softmax(dim=-1)    ,    axis=-1).mean()

									if return_outputs:
											return loss, outputs

									return loss





def       UpperCamelCase(  __UpperCamelCase							:		Optional[int]			):
		lowerCAmelCase_      :					Tuple     =			[]
		with open(A__					,'''r'''			) as f:
				for line in f:
						lowerCAmelCase_      :					Any     =			line.strip()
						if len(A__			) > 0:
								lines.append(A__			)
		return lines


def       UpperCamelCase(  __UpperCamelCase							:		int					,__UpperCamelCase							:		Union[str, Any]					,__UpperCamelCase							:		str			):
		lowerCAmelCase_      :					List[str]     =			[]
		lowerCAmelCase_      :					List[str]     =			[]
		for example in examples:
				for name in class_names:
						premises.append(A__			)
						hypotheses.append(hypothesis_template.format(A__			)			)
		return premises, hypotheses


def       UpperCamelCase(  __UpperCamelCase							:		int			):
		for label, ind in config.labelaid.items():
				if label.lower().startswith('''entail'''			):
						return ind
		logger.warning('''Could not identify entailment dimension from teacher config label2id. Setting to -1.'''			)
		return -1


def       UpperCamelCase(  __UpperCamelCase							:		Optional[int]					,__UpperCamelCase							:		Dict					,__UpperCamelCase							:		Union[str, Any]					,__UpperCamelCase							:		Dict					,__UpperCamelCase							:		Optional[int]					,__UpperCamelCase							:		Optional[int]					,__UpperCamelCase							:		List[str]					,__UpperCamelCase							:		Tuple					,__UpperCamelCase							:		List[Any]					,__UpperCamelCase							:		Union[str, Any]					,):
		lowerCAmelCase_      :					Tuple     =			AutoModelForSequenceClassification.from_pretrained(A__			)
		lowerCAmelCase_      :					List[Any]     =			model.config
		if not no_cuda and torch.cuda.is_available():
				lowerCAmelCase_      :					Any     =			nn.DataParallel(model.cuda()			)
				batch_size *= len(model.device_ids			)
		lowerCAmelCase_      :					Any     =			AutoTokenizer.from_pretrained(A__					,use_fast=A__			)

		lowerCAmelCase_      :					Union[str, Any]     =			get_premise_hypothesis_pairs(A__					,A__					,A__			)
		lowerCAmelCase_      :					List[str]     =			[]

		for i in tqdm(range(0					,len(A__			)					,A__			)			):
				lowerCAmelCase_      :					Optional[Any]     =			premises[i : i + batch_size]
				lowerCAmelCase_      :					Tuple     =			hypotheses[i : i + batch_size]

				lowerCAmelCase_      :					Dict     =			tokenizer(
				    A__					,A__					,padding=A__					,truncation='''only_first'''					,return_tensors='''pt'''					,)

				with torch.cuda.amp.autocast(enabled=A__			):
						with torch.no_grad():
								lowerCAmelCase_      :					List[str]     =			model(**A__			)
				logits.append(outputs.logits.detach().cpu().float()			)

		lowerCAmelCase_      :					List[Any]     =			get_entailment_id(A__			)
		lowerCAmelCase_      :					Any     =			-1 if entail_id == 0 else 0
		lowerCAmelCase_      :					List[str]     =			torch.cat(A__					,dim=0			)  # N*K x 3
		lowerCAmelCase_      :					Optional[int]     =			logits.reshape(len(A__			)					,len(A__			)					,-1			)[..., [contr_id, entail_id]]  # N x K x 2

		if multi_label:
				# softmax over (contr, entail) logits for each class independently
				lowerCAmelCase_      :					Optional[Any]     =			(nli_logits / temperature).softmax(-1			)
		else:
				# softmax over entail logits across classes s.t. class probabilities sum to 1.
				lowerCAmelCase_      :					List[str]     =			(nli_logits / temperature).softmax(1			)

		return nli_prob[..., 1]  # N x K


def       UpperCamelCase(  ):
		lowerCAmelCase_      :					Tuple     =			HfArgumentParser(
		    (DataTrainingArguments, TeacherModelArguments, StudentModelArguments, DistillTrainingArguments)					,description=A__					,)

		if len(sys.argv			) == 2 and sys.argv[1].endswith('''.json'''			):
				# If we pass only one argument to the script and it's the path to a json file,
				# let's parse it to get our arguments.
				lowerCAmelCase_      :					Optional[int]     =			parser.parse_json_file(
				    json_file=os.path.abspath(sys.argv[1]			)			)
		else:
				lowerCAmelCase_      :					int     =			parser.parse_args_into_dataclasses()

		# Detecting last checkpoint.
		lowerCAmelCase_      :					List[str]     =			None
		if os.path.isdir(training_args.output_dir			) and training_args.do_train and not training_args.overwrite_output_dir:
				lowerCAmelCase_      :					Any     =			get_last_checkpoint(training_args.output_dir			)
				if last_checkpoint is None and len(os.listdir(training_args.output_dir			)			) > 0:
						raise ValueError(
						    f"""Output directory ({training_args.output_dir}) already exists and is not empty. """
						    '''Use --overwrite_output_dir to overcome.'''			)
				elif last_checkpoint is not None:
						logger.info(
						    f"""Checkpoint detected, resuming training at {last_checkpoint}. To avoid this behavior, change """
						    '''the `--output_dir` or add `--overwrite_output_dir` to train from scratch.'''			)

    # Setup logging
		logging.basicConfig(
		    format='''%(asctime)s - %(levelname)s - %(name)s - %(message)s'''					,datefmt='''%m/%d/%Y %H:%M:%S'''					,handlers=[logging.StreamHandler(sys.stdout			)]					,)
		logger.setLevel(logging.INFO if is_main_process(training_args.local_rank			) else logging.WARN			)

		# Log on each process the small summary:
		logger.warning(
		    f"""Process rank: {training_args.local_rank}, device: {training_args.device}, n_gpu: {training_args.n_gpu}"""
		    + f"""distributed training: {bool(training_args.local_rank != -1			)}, 16-bits training: {training_args.fpaa}"""			)
		# Set the verbosity to info of the Transformers logger (on main process only):
		if is_main_process(training_args.local_rank			):
				utils.logging.set_verbosity_info()
				utils.logging.enable_default_handler()
				utils.logging.enable_explicit_format()

		if training_args.local_rank != -1:
				raise ValueError('''Distributed training is not currently supported.'''			)
		if training_args.tpu_num_cores is not None:
				raise ValueError('''TPU acceleration is not currently supported.'''			)

		logger.info(f"""Training/evaluation parameters {training_args}"""			)

		# Set seed before initializing model.
		set_seed(training_args.seed			)

		# 1. read in data
		lowerCAmelCase_      :					Union[str, Any]     =			read_lines(data_args.data_file			)
		lowerCAmelCase_      :					str     =			read_lines(data_args.class_names_file			)

		# 2. get teacher predictions and load into dataset
		logger.info('''Generating predictions from zero-shot teacher model'''			)
		lowerCAmelCase_      :					Optional[Any]     =			get_teacher_predictions(
		    teacher_args.teacher_name_or_path					,A__					,A__					,teacher_args.hypothesis_template					,teacher_args.teacher_batch_size					,teacher_args.temperature					,teacher_args.multi_label					,data_args.use_fast_tokenizer					,training_args.no_cuda					,training_args.fpaa					,)
		lowerCAmelCase_      :					int     =			Dataset.from_dict(
		    {
		        '''text''': examples,
		        '''labels''': teacher_soft_preds,
		    }			)

		# 3. create student
		logger.info('''Initializing student model'''			)
		lowerCAmelCase_      :					List[Any]     =			AutoModelForSequenceClassification.from_pretrained(
		    student_args.student_name_or_path					,num_labels=len(A__			)			)
		lowerCAmelCase_      :					Optional[int]     =			AutoTokenizer.from_pretrained(student_args.student_name_or_path					,use_fast=data_args.use_fast_tokenizer			)
		lowerCAmelCase_      :					int     =			dict(enumerate(A__			)			)
		lowerCAmelCase_      :					Union[str, Any]     =			{label: i for i, label in enumerate(A__			)}

		# 4. train student on teacher predictions
		lowerCAmelCase_      :					Tuple     =			dataset.map(A__					,input_columns='''text'''			)
		dataset.set_format('''torch'''			)

		def compute_metrics(__UpperCamelCase							:		int					,__UpperCamelCase							:		Optional[Any]=False			):
				lowerCAmelCase_      :					int     =			p.predictions.argmax(-1			)
				lowerCAmelCase_      :					Union[str, Any]     =			p.label_ids.argmax(-1			)  # "label_ids" are actually distributions
				return {"agreement": (preds == proxy_labels).mean().item()}

		lowerCAmelCase_      :					str     =			DistillationTrainer(
		    model=A__					,tokenizer=A__					,args=A__					,train_dataset=A__					,compute_metrics=A__					,)

		if training_args.do_train:
				logger.info('''Training student model on teacher predictions'''			)
				trainer.train()

		if training_args.do_eval:
				lowerCAmelCase_      :					Tuple     =			trainer.evaluate(eval_dataset=A__			)['eval_agreement']
				logger.info(f"""Agreement of student and teacher predictions: {agreement * 100:0.2f}%"""			)

		trainer.save_model()


if __name__ == "__main__":
						main()










from math import radians as angle_to_radians
from math import sin

# Acceleration Constant on Earth (unit m/s^2)
A__  :  Any       = 9.8_0_6_6_5


def       UpperCamelCase(  __UpperCamelCase							:		float					,__UpperCamelCase							:		float			):

		# Ensure valid instance
		if not isinstance(__UpperCamelCase					,(int, float)			):
				raise TypeError('''Invalid velocity. Should be a positive number.'''			)

		if not isinstance(__UpperCamelCase					,(int, float)			):
				raise TypeError('''Invalid angle. Range is 1-90 degrees.'''			)

		# Ensure valid angle
		if angle > 90 or angle < 1:
				raise ValueError('''Invalid angle. Range is 1-90 degrees.'''			)

		# Ensure valid velocity
		if init_velocity < 0:
				raise ValueError('''Invalid velocity. Should be a positive number.'''			)


def       UpperCamelCase(  __UpperCamelCase							:		float					,__UpperCamelCase							:		float			):
		check_args(__UpperCamelCase					,__UpperCamelCase			)
		lowerCAmelCase_      :					Optional[Any]     =			angle_to_radians(2 * angle			)
		return round(init_velocity**2 * sin(__UpperCamelCase			) / g					,2			)


def       UpperCamelCase(  __UpperCamelCase							:		float					,__UpperCamelCase							:		float			):
		check_args(__UpperCamelCase					,__UpperCamelCase			)
		lowerCAmelCase_      :					Any     =			angle_to_radians(__UpperCamelCase			)
		return round(init_velocity**2 * sin(__UpperCamelCase			) ** 2 / (2 * g)					,2			)


def       UpperCamelCase(  __UpperCamelCase							:		float					,__UpperCamelCase							:		float			):
		check_args(__UpperCamelCase					,__UpperCamelCase			)
		lowerCAmelCase_      :					Dict     =			angle_to_radians(__UpperCamelCase			)
		return round(2 * init_velocity * sin(__UpperCamelCase			) / g					,2			)


def       UpperCamelCase(  ):
		lowerCAmelCase_ ,  lowerCAmelCase_      :					Any     =			25, 20
		assert horizontal_distance(__UpperCamelCase					,__UpperCamelCase			) == 4_0.9_7
		assert max_height(__UpperCamelCase					,__UpperCamelCase			) == 3.7_3
		assert total_time(__UpperCamelCase					,__UpperCamelCase			) == 1.7_4


if __name__ == "__main__":
						from doctest import testmod

						testmod()

						# Get input from user
						A__  :  List[Any]       = float(input('''Initial Velocity: ''').strip())

						# Get input from user
						A__  :  Dict       = float(input('''angle: ''').strip())

						# Print results
						print()
						print('''Results: ''')
						print(F'''Horizontal Distance: {horizontal_distance(init_vel, angle)!s} [m]''')
						print(F'''Maximum Height: {max_height(init_vel, angle)!s} [m]''')
						print(F'''Total Time: {total_time(init_vel, angle)!s} [s]''')





